[prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 286

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 462 322 352 0 1908 0 710 438

N.S.

1 1.67 1.17 1.28 0.00 6.91 0.00 2.57 1.59

time (sec)

N/A 0.604 8.011 1.439 0.000 0.401 0.000 0.506 17.024

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 345 170 355 701 337 0 584 411

N.S.

1 1.20 0.59 1.23 2.43 1.17 0.00 2.03 1.43

time (sec)

N/A 0.477 6.094 6.190 0.242 0.282 0.000 0.441 17.051

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 309 130 257 459 245 0 376 287

N.S.

1 1.20 0.51 1.00 1.79 0.95 0.00 1.46 1.12

time (sec)

N/A 0.414 4.434 4.535 0.242 0.282 0.000 0.377 17.100

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 110 173 175 262 161 0 212 203

N.S.

1 0.88 1.38 1.40 2.10 1.29 0.00 1.70 1.62

time (sec)

N/A 0.410 1.044 3.983 0.227 0.289 0.000 0.338 16.880

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

153 265 419 224 0 532 0 285 1902

N.S.

1 1.73 2.74 1.46 0.00 3.48 0.00 1.86 12.43

time (sec)

N/A 0.491 3.378 0.870 0.000 0.534 0.000 0.367 14.363

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

161 284 455 216 0 859 0 317 3135

N.S.

1 1.76 2.83 1.34 0.00 5.34 0.00 1.97 19.47

time (sec)

N/A 0.477 5.178 1.076 0.000 0.563 0.000 0.366 16.914

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

188 330 393 227 0 1176 0 376 4131

N.S.

1 1.76 2.09 1.21 0.00 6.26 0.00 2.00 21.97

time (sec)

N/A 0.510 4.327 1.070 0.000 0.601 0.000 0.419 20.184

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 288 398 227 0 1012 0 307 264

N.S.

1 1.62 2.24 1.28 0.00 5.69 0.00 1.72 1.48

time (sec)

N/A 0.408 3.881 1.215 0.000 0.342 0.000 0.392 17.094

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 371 274 303 0 1714 0 601 385

N.S.

1 1.39 1.03 1.14 0.00 6.44 0.00 2.26 1.45

time (sec)

N/A 0.457 6.449 1.695 0.000 0.363 0.000 0.484 17.090

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 305 1243 275 596 297 0 344 211

N.S.

1 1.67 6.79 1.50 3.26 1.62 0.00 1.88 1.15

time (sec)

N/A 0.472 7.845 0.974 0.224 0.274 0.000 0.366 14.169

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 215 78 181 388 216 0 219 139

N.S.

1 1.84 0.67 1.55 3.32 1.85 0.00 1.87 1.19

time (sec)

N/A 0.426 1.604 0.832 0.223 0.284 0.000 0.333 13.678

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 169 237 103 223 155 0 136 85

N.S.

1 2.49 3.49 1.51 3.28 2.28 0.00 2.00 1.25

time (sec)

N/A 0.336 2.657 0.712 0.217 0.275 0.000 0.313 13.526

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 109 53 99 74 0 70 41

N.S.

1 1.00 2.53 1.23 2.30 1.72 0.00 1.63 0.95

time (sec)

N/A 0.353 0.896 0.664 0.200 0.270 0.000 0.304 13.865

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 154 160 74 0 353 0 110 110

N.S.

1 1.86 1.93 0.89 0.00 4.25 0.00 1.33 1.33

time (sec)

N/A 0.372 1.062 0.700 0.000 0.293 0.000 0.314 13.585

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 234 286 146 0 691 0 221 187

N.S.

1 1.61 1.97 1.01 0.00 4.77 0.00 1.52 1.29

time (sec)

N/A 0.411 3.139 0.795 0.000 0.321 0.000 0.312 13.544

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

207 328 1422 221 0 1331 0 362 379

N.S.

1 1.58 6.87 1.07 0.00 6.43 0.00 1.75 1.83

time (sec)

N/A 0.507 7.449 0.986 0.000 0.356 0.000 0.379 14.583

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 392 446 382 772 456 0 506 268

N.S.

1 1.52 1.73 1.48 2.99 1.77 0.00 1.96 1.04

time (sec)

N/A 0.590 7.419 1.269 0.236 0.309 0.000 0.439 13.554

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 302 310 275 536 361 0 359 193

N.S.

1 1.56 1.61 1.42 2.78 1.87 0.00 1.86 1.00

time (sec)

N/A 0.479 5.100 1.013 0.234 0.306 0.000 0.364 13.699

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 222 294 175 342 268 0 250 136

N.S.

1 1.67 2.21 1.32 2.57 2.02 0.00 1.88 1.02

time (sec)

N/A 0.436 3.648 0.843 0.249 0.284 0.000 0.364 13.521

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 178 181 84 195 155 0 158 89

N.S.

1 2.00 2.03 0.94 2.19 1.74 0.00 1.78 1.00

time (sec)

N/A 0.344 2.407 0.652 0.217 0.274 0.000 0.321 13.416

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 64 76 42 93 58 0 60 45

N.S.

1 0.98 1.17 0.65 1.43 0.89 0.00 0.92 0.69

time (sec)

N/A 0.341 0.797 0.694 0.212 0.267 0.000 0.288 13.581

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 219 209 122 0 598 0 249 168

N.S.

1 1.70 1.62 0.95 0.00 4.64 0.00 1.93 1.30

time (sec)

N/A 0.426 2.051 0.659 0.000 0.291 0.000 0.335 13.883

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 309 376 203 0 1242 0 474 314

N.S.

1 1.46 1.78 0.96 0.00 5.89 0.00 2.25 1.49

time (sec)

N/A 0.481 3.961 0.794 0.000 0.331 0.000 0.328 14.294

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

284 420 2220 280 0 2030 0 751 505

N.S.

1 1.48 7.82 0.99 0.00 7.15 0.00 2.64 1.78

time (sec)

N/A 0.598 8.182 1.080 0.000 0.363 0.000 0.403 14.200

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

363 501 1338 491 946 620 0 672 327

N.S.

1 1.38 3.69 1.35 2.61 1.71 0.00 1.85 0.90

time (sec)

N/A 0.700 9.806 1.472 0.251 0.305 0.000 0.475 13.625

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 400 439 360 689 502 0 504 252

N.S.

1 1.39 1.53 1.25 2.40 1.75 0.00 1.76 0.88

time (sec)

N/A 0.599 5.506 1.067 0.240 0.288 0.000 0.430 13.856

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 310 292 247 475 385 0 374 195

N.S.

1 1.51 1.42 1.20 2.32 1.88 0.00 1.82 0.95

time (sec)

N/A 0.503 3.859 0.936 0.230 0.280 0.000 0.377 13.540

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 225 295 117 307 248 0 259 147

N.S.

1 1.69 2.22 0.88 2.31 1.86 0.00 1.95 1.11

time (sec)

N/A 0.408 2.592 0.693 0.230 0.273 0.000 0.365 13.518

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 192 84 67 184 113 0 129 79

N.S.

1 1.67 0.73 0.58 1.60 0.98 0.00 1.12 0.69

time (sec)

N/A 0.361 0.793 0.639 0.220 0.265 0.000 0.332 13.752

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 99 135 56 115 93 0 75 66

N.S.

1 0.97 1.32 0.55 1.13 0.91 0.00 0.74 0.65

time (sec)

N/A 0.465 0.950 0.779 0.228 0.268 0.000 0.313 13.511

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 294 345 203 0 1001 0 471 228

N.S.

1 1.62 1.91 1.12 0.00 5.53 0.00 2.60 1.26

time (sec)

N/A 0.483 3.164 0.726 0.000 0.304 0.000 0.361 13.800

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

288 392 1772 284 0 1693 0 918 464

N.S.

1 1.36 6.15 0.99 0.00 5.88 0.00 3.19 1.61

time (sec)

N/A 0.590 7.962 0.893 0.000 0.341 0.000 0.391 13.882

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

368 508 1096 365 0 2677 0 1369 655

N.S.

1 1.38 2.98 0.99 0.00 7.27 0.00 3.72 1.78

time (sec)

N/A 0.699 9.054 1.208 0.000 0.395 0.000 0.468 14.089

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

61 61 102 278 0 307 0 0 0

N.S.

1 1.00 1.67 4.56 0.00 5.03 0.00 0.00 0.00

time (sec)

N/A 0.328 0.723 5.513 0.000 0.407 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

140 140 187 478 0 1048 0 0 0

N.S.

1 1.00 1.34 3.41 0.00 7.49 0.00 0.00 0.00

time (sec)

N/A 0.844 14.280 5.300 0.000 0.453 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 107 135 0 246 0 0 0

N.S.

1 1.00 1.37 1.73 0.00 3.15 0.00 0.00 0.00

time (sec)

N/A 0.332 0.790 2.860 0.000 0.328 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

141 141 171 366 0 1100 0 0 0

N.S.

1 1.00 1.21 2.60 0.00 7.80 0.00 0.00 0.00

time (sec)

N/A 0.871 0.851 5.157 0.000 0.512 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

61 61 94 424 0 343 0 0 0

N.S.

1 1.00 1.54 6.95 0.00 5.62 0.00 0.00 0.00

time (sec)

N/A 0.308 0.387 19.377 0.000 0.445 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

149 149 188 685 0 1126 0 0 0

N.S.

1 1.00 1.26 4.60 0.00 7.56 0.00 0.00 0.00

time (sec)

N/A 0.937 2.035 22.714 0.000 4.814 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

122 122 144 504 0 963 0 0 0

N.S.

1 1.00 1.18 4.13 0.00 7.89 0.00 0.00 0.00

time (sec)

N/A 0.657 1.433 19.783 0.000 0.488 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

124 124 141 504 0 1041 0 0 0

N.S.

1 1.00 1.14 4.06 0.00 8.40 0.00 0.00 0.00

time (sec)

N/A 0.696 0.717 18.953 0.000 0.572 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

167 167 198 557 0 1103 0 0 0

N.S.

1 1.00 1.19 3.34 0.00 6.60 0.00 0.00 0.00

time (sec)

N/A 0.948 1.756 20.660 0.000 0.800 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

231 245 155 796 0 1597 0 0 0

N.S.

1 1.06 0.67 3.45 0.00 6.91 0.00 0.00 0.00

time (sec)

N/A 1.413 1.489 22.869 0.000 52.752 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 266 201 237 379 281 0 850 555

N.S.

1 1.06 0.80 0.95 1.52 1.12 0.00 3.40 2.22

time (sec)

N/A 1.415 2.840 5.139 0.232 0.295 0.000 0.367 17.353

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 191 143 185 266 211 0 586 395

N.S.

1 1.06 0.79 1.03 1.48 1.17 0.00 3.26 2.19

time (sec)

N/A 1.047 0.775 3.814 0.255 0.276 0.000 0.361 17.202

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 121 88 118 165 150 0 294 227

N.S.

1 1.05 0.77 1.03 1.43 1.30 0.00 2.56 1.97

time (sec)

N/A 0.686 0.453 3.395 0.225 0.278 0.000 0.339 17.016

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 64 75 75 88 96 0 153 104

N.S.

1 1.05 1.23 1.23 1.44 1.57 0.00 2.51 1.70

time (sec)

N/A 0.429 0.018 2.275 0.229 0.291 0.000 0.308 14.561

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 112 92 0 316 0 127 573

N.S.

1 1.00 1.47 1.21 0.00 4.16 0.00 1.67 7.54

time (sec)

N/A 0.479 0.480 0.768 0.000 0.632 0.000 0.346 14.539

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 110 97 132 0 389 0 172 106

N.S.

1 1.11 0.98 1.33 0.00 3.93 0.00 1.74 1.07

time (sec)

N/A 0.500 0.427 0.770 0.000 0.306 0.000 0.313 13.878

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 191 172 236 0 752 0 399 250

N.S.

1 1.15 1.04 1.42 0.00 4.53 0.00 2.40 1.51

time (sec)

N/A 0.802 1.136 0.884 0.000 0.325 0.000 0.375 16.701

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 278 405 376 0 1238 0 693 439

N.S.

1 1.17 1.71 1.59 0.00 5.22 0.00 2.92 1.85

time (sec)

N/A 1.185 2.012 1.283 0.000 0.357 0.000 0.404 18.527

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 580 480 0 1093 0 606 9987

N.S.

1 1.00 2.35 1.94 0.00 4.43 0.00 2.45 40.43

time (sec)

N/A 0.722 5.682 1.437 0.000 102.849 0.000 0.405 23.128

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 389 289 0 779 0 339 6730

N.S.

1 1.00 2.29 1.70 0.00 4.58 0.00 1.99 39.59

time (sec)

N/A 0.622 3.112 1.038 0.000 22.065 0.000 0.397 21.040

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 135 165 0 518 0 195 3559

N.S.

1 1.00 1.31 1.60 0.00 5.03 0.00 1.89 34.55

time (sec)

N/A 0.539 2.509 0.946 0.000 3.298 0.000 0.351 18.706

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 112 92 0 309 0 127 571

N.S.

1 1.00 1.47 1.21 0.00 4.07 0.00 1.67 7.51

time (sec)

N/A 0.474 0.439 0.742 0.000 0.570 0.000 0.337 14.615

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 119 108 0 1040 0 522 2665

N.S.

1 1.00 0.98 0.89 0.00 8.60 0.00 4.31 22.02

time (sec)

N/A 0.543 0.444 1.025 0.000 1.855 0.000 0.397 15.932

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 221 229 208 0 2863 0 331 20827

N.S.

1 1.18 1.22 1.11 0.00 15.31 0.00 1.77 111.37

time (sec)

N/A 0.969 1.337 1.371 0.000 96.827 0.000 0.356 27.240

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) F(-1) F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

379 379 784 689 0 0 0 857 17256

N.S.

1 1.00 2.07 1.82 0.00 0.00 0.00 2.26 45.53

time (sec)

N/A 0.986 10.090 2.507 0.000 0.000 0.000 0.449 28.858

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 297 511 465 0 1925 0 551 12483

N.S.

1 1.00 1.72 1.57 0.00 6.48 0.00 1.86 42.03

time (sec)

N/A 0.820 5.400 1.725 0.000 170.550 0.000 0.390 26.195

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 228 362 314 0 1326 0 539 7958

N.S.

1 1.00 1.59 1.38 0.00 5.82 0.00 2.36 34.90

time (sec)

N/A 0.717 3.408 1.467 0.000 39.313 0.000 0.379 22.917

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 180 215 0 798 0 267 4926

N.S.

1 1.00 0.91 1.09 0.00 4.03 0.00 1.35 24.88

time (sec)

N/A 0.635 1.238 0.936 0.000 5.697 0.000 0.365 21.295

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 111 97 132 0 394 0 173 106

N.S.

1 1.11 0.97 1.32 0.00 3.94 0.00 1.73 1.06

time (sec)

N/A 0.490 0.436 0.648 0.000 0.280 0.000 0.315 13.753

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 218 176 210 0 2852 0 330 20827

N.S.

1 1.17 0.95 1.13 0.00 15.33 0.00 1.77 111.97

time (sec)

N/A 0.981 1.587 1.452 0.000 60.792 0.000 0.364 27.475

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 183 316 0 0 0 0 0

N.S.

1 1.00 0.86 1.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.714 4.103 9.154 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

196 196 44664 321 0 0 0 0 0

N.S.

1 1.00 227.88 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.433 37.864 12.835 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 233 191 0 0 0 0 0

N.S.

1 1.00 1.21 0.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.416 3.197 10.710 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 176 148 0 0 0 0 0

N.S.

1 1.00 1.60 1.35 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 2.645 7.537 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 176 142 0 0 0 0 0

N.S.

1 1.00 1.41 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 0.649 7.361 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

396 396 39359 262 0 0 0 0 0

N.S.

1 1.00 99.39 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.096 36.528 15.931 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 223 445 0 0 0 0 0

N.S.

1 1.00 1.31 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.052 25.506 8.494 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 223 0 0 0 0 0

N.S.

1 1.00 1.00 2.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.726 1.349 7.344 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 174 222 442 0 0 0 0 0

N.S.

1 1.04 1.32 2.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.331 25.117 8.237 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 264 123 0 0 0 0 0

N.S.

1 1.00 2.78 1.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 6.443 7.297 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F(-1) F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

295 311 0 275 0 0 0 0 0

N.S.

1 1.05 0.00 0.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.755 0.000 6.872 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

209 209 375 191 0 0 0 0 0

N.S.

1 1.00 1.79 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.730 13.338 5.330 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 156 192 0 0 0 0 0

N.S.

1 1.00 0.73 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.799 5.477 8.774 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

229 230 1019 207 0 517 0 0 0

N.S.

1 1.00 4.45 0.90 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 1.268 8.387 4.700 0.000 0.118 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F(-1) F(-1) F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

312 310 0 323 0 0 0 0 0

N.S.

1 0.99 0.00 1.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.651 0.000 7.967 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 183 316 0 0 0 0 0

N.S.

1 1.00 0.86 1.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.704 0.236 8.320 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 223 445 0 0 0 0 0

N.S.

1 1.00 1.31 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.058 25.557 8.221 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 187 203 0 0 0 0 0

N.S.

1 1.00 1.83 1.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.342 8.833 7.645 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 165 203 0 0 0 0 0

N.S.

1 1.00 0.79 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.783 4.289 8.545 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 223 0 0 0 0 0

N.S.

1 1.00 1.00 2.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.723 1.378 7.462 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 246 313 0 0 0 0 0

N.S.

1 1.00 1.48 1.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.075 25.394 9.418 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 59 151 49 68 121 0 47 47

N.S.

1 0.88 2.25 0.73 1.01 1.81 0.00 0.70 0.70

time (sec)

N/A 0.417 4.031 11.267 0.218 0.312 0.000 1.104 13.517

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 75 175 62 88 146 0 60 60

N.S.

1 0.84 1.97 0.70 0.99 1.64 0.00 0.67 0.67

time (sec)

N/A 0.441 5.022 17.280 0.224 0.288 0.000 1.174 14.181

[prev] [prev-tail] [front] [up]